منابع مشابه
Decomposing Controllers into Non-conflicting Distributed Controllers
In this article we present an application of decompositions of automata to obtain distributed controllers. The decomposition technique is derived from the classical method of partitions. Tiffs is then applied to the domain of discrete event systems. We show that it is possible to decompose a monolithic controller into smaller controllers which are non-conflicting. This is derived from the notio...
متن کاملInput Controllers Output Port Controllers Switch
Errors in network components can have disastrous eeects so it is important that all aspects of the design are correct. We describe our experiences formally verifying an implementation of an Asynchronous Transfer Mode (ATM) network switching fabric using the HOL90 theorem proving system. The design has been fabricated and is in use in the Cambridge Fairisle Network. It was designed and implement...
متن کاملJan van Mill
De Groot proved that every group is the autohomeomorphism group of some metrizable space. A space is totally disconnected if every connected subset of it contains at most one point. We prove that every separable metrizable totally disconnected topological group is topologically isomorphic to the autohomeomorphism group of some separable metrizable space, when given the compact-open topology. It...
متن کاملFuzzy-PID Controllers vs. Fuzzy-PI Controllers
The synthesis of a control system includes both the controller selection and the adjustment of its parameters. In some cases, the type of controller might be more complex or more general, like PID instead PI or PD, to improve the control system performance. In all cases, the tuning problem must be satisfactorily solved. On the other hand, Fuzzy Control has made possible the establishment of int...
متن کاملMill Optimisation Programs
A MOP has five key steps: team formation; baseline analysis; benchmarking; project definition; implementation, monitoring and feedback. In the MOP approach, technical and business intellect is substituted for capital and equipment. Baseline analysis provides the current performance, variation of key production and process elements, and provides the data for cause and effect analysis. A MOP look...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Institute of Electrical Engineers
سال: 1915
ISSN: 0097-2444
DOI: 10.1109/paiee.1915.6590307